Categorial Fibring of Logics with Terms and Binding Operators
نویسندگان
چکیده
Categorial characterizations are given of both unconstrained and constrained bring of Hibert calculi and interpretation systems for languages with variables, terms, variable binding operators and modal like operators. Some preliminary transference results are established. A brief comparison with model theoretic parchments is included.
منابع مشابه
Fibring of Logics as a Categorial Construction
Much attention has been given recently to the mechanism of fibring of logics, allowing free mixing of the connectives and using proof rules from both logics. Fibring seems to be a rather useful and general form of combination of logics that deserves detailed study. It is now well understood at the proof-theoretic level. However, the semantics of fibring is still insufficiently understood. Herei...
متن کاملFibring Labelled Deduction Systems
We give a categorial characterization of how labelled deduction systems for logics with a propositional basis behave under unconstrained fibring and under fibring that is constrained by symbol sharing. At the semantic level, we introduce a general semantics for our systems and then give a categorial characterization of fibring of models. Based on this, we establish the conditions under which ou...
متن کاملFibring: Completeness Preservation
A completeness theorem is established for logics with congruence endowed with general semantics (in the style of general frames). As a corollary, completeness is shown to be preserved by fibring logics with congruence provided that congruence is retained in the resulting logic. The class of logics with equivalence is shown to be closed under fibring and to be included in the class of logics wit...
متن کاملFibring Logics with Topos Semantics
The concept of fibring is extended to higher-order logics with arbitrary modalities and binding operators. A general completeness theorem is established for such logics including HOL and with the meta-theorem of deduction. As a corollary, completeness is shown to be preserved when fibring such rich logics. This result is extended to weaker logics in the cases where fibring preserves conservativ...
متن کاملOn the Direction of Fibring Feature Logics with Concatenation Logics
A dualbring of a feature-logic and a concatenation-logic is proposed, in which syntactic categorial types \live in" feature terms, in contrast to current bring, in which feature-terms \live in" types. The dualbring contains also arrow-introduction rules for hypothetical reasoning. It is used to explain some \privileged features" in HPSG and their non-uni cation manipulation. 1991 Computing Revi...
متن کامل